package kodkod.engine.fol2sat.ordering;

import kodkod.engine.satlab.OrderableSolver;

/**
 * Abstract super-class of all ordering methods. 
 * Via the apply-method, descendants implement their way to influence SAT solver's variable ordering. 
 * @author Markus Iser
 * 
 */
public abstract class OrderingMethod {
	public OrderingMethod() {}
	
	public abstract void apply(OrderableSolver solver, int primaryVars);
}
